🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Typeclassopedia
wiki.haskell.org·20h·
Discuss: Hacker News
🧬Functional Programming
Teaching programming languages
kmjn.org·11h
💻Programming languages
Sets & Heaps in Haskell and Rust
mmhaskell.com·14h
🔒Type Safety
Song recommendations with F# free monads
blog.ploeh.dk·15h
🔗Functional Compilers
A Review of Developmental Interpretability in Large Language Models
arxiv.org·19h
🤖Grammar Induction
The Lobster Programming Language
strlen.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·12h
🤝Paxos Consensus
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·8h·
Discuss: Hacker News
🌳Archive Merkle Trees
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·8h·
Discuss: Hacker News
✅Format Verification
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Anonymous structavaganza in zig
lirk.top·5h·
Discuss: Hacker News, r/Zig
🔗Concatenative Programming
Stable, Mutable References for Ante
antelang.org·9h·
Discuss: Hacker News, r/programming
🔒Type Safety
Capture Checking in Scala
nrinaudo.github.io·17h·
Discuss: Hacker News
🧪Binary Fuzzing
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Claude Code's 19 cent Parser
blogger.com·10h
🔧Binary Parsers
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Two Dogmas of Empiricism
en.wikipedia.org·10h·
Discuss: Hacker News
💻Programming languages
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🧬Functional Programming
FLINT: Fast Library for Number Theory
flintlib.org·4h
🧮Algebraic Datatypes
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·13h·
Discuss: DEV
🔗Constraint Handling